From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Sun, 10 Mar 2013 18:47:47 +0000 (+0100)
Subject: WorkspacesView: set the clip when setting the geometry
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~4451
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=d3ab367fcd95917026b18b92730953a4623de2c8;p=gnome-shell.git

WorkspacesView: set the clip when setting the geometry

Fixes clipping the windows when you open the overview with the workspace
switcher expanded and then shrink it.

https://bugzilla.gnome.org/show_bug.cgi?id=694092
---

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 2a473c92e..ffabaf476 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -151,6 +151,9 @@ const WorkspacesView = new Lang.Class({
 
         for (let i = 0; i < this._workspaces.length; i++)
             this._workspaces[i].setGeometry(x, y, width, height);
+
+        if (Main.overview.visible && !Main.overview.animationInProgress)
+            this.actor.set_clip(this._x, this._y, this._width, this._height);
     },
 
     _lookupWorkspaceForMetaWindow: function (metaWindow) {